12

Program verification using symbolic game semantics

Year:
2014
Language:
english
File:
PDF, 926 KB
english, 2014
13

Software Model Checking Based on Game Semantics and CSP

Year:
2005
Language:
english
File:
PDF, 368 KB
english, 2005
20

Variability abstractions for lifted analyses

Year:
2018
Language:
english
File:
PDF, 681 KB
english, 2018
25

Verifying annotated program families using symbolic game semantics

Year:
2017
Language:
english
File:
PDF, 1.40 MB
english, 2017
27

Professor Georgi D. Efremov (1932–2011)

Year:
2011
Language:
english
File:
PDF, 60 KB
english, 2011